Jean-Raymond Abrial: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) - Gold Coast, Australia (2015.12.9-2015.12.12)] 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) - Formal Development of a Real-Time Operating System Memory Manager

Su, Wen, Abrial, Jean-Raymond, Pu, Geguang, Fang, Bin

Year:

2015

Language:

english

File:

PDF, 2.16 MB

english, 2015

2

Modeling in Event-B (System and Software Engineering) || Development of electronic circuits

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 789 KB

english, 2010

3

Developing topology discovery in Event-B

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 1.06 MB

english, 2009

4

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 126 KB

english, 2003

5

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 473 KB

english, 2010

6

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Using HyTech to synthesize control parameters for a steam boiler

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.15 MB

english, 1996

7

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || The steam boiler case study: Competition of formal program specification and development methods

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 808 KB

english, 1996

8

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Event-B Patterns and Their Tool Support

Hoang, Thai Son, Fürst, Andreas, Abrial, Jean-Raymond

Year:

2009

Language:

english

File:

PDF, 342 KB

english, 2009

9

Event-B patterns and their tool support

Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 814 KB

english, 2013

10

[Lecture Notes in Computer Science] Rigorous Methods for Software Construction and Analysis Volume 5115 || Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development

Abrial, Jean-Raymond, Glässer, Uwe

Year:

2009

Language:

english

File:

PDF, 224 KB

english, 2009

11

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Steam-boiler control specification problem

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 551 KB

english, 1996

12

Formalizing hybrid systems with Event-B and the Rodin Platform

Su, Wen, Abrial, Jean-Raymond, Zhu, Huibiao

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.32 MB

english, 2014

13

[Lecture Notes in Computer Science] Rigorous Methods for Software Construction and Analysis Volume 5115 || On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages

Abrial, Jean-Raymond, Glässer, Uwe

Year:

2009

Language:

english

File:

PDF, 332 KB

english, 2009

14

[ACM Press Proceeding of the 28th international conference - Shanghai, China (2006.05.20-2006.05.28)] Proceeding of the 28th international conference on Software engineering - ICSE '06 - Formal methods in industry

Abrial, Jean-Raymond

Year:

2006

Language:

english

File:

PDF, 124 KB

english, 2006

15

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - Roadmap for enhanced languages and methods to aid verification

Leavens, Gary T., Peyton-Jones, Simon, Sitaraman, Murali, Smith, Douglas R., Stump, Aaron, Abrial, Jean-Raymond, Batory, Don, Butler, Michael, Coglio, Alessandro, Fisler, Kathi, Hehner, Eric, Jones, C

Year:

2006

Language:

english

File:

PDF, 356 KB

english, 2006

16

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || An algebraic specification of the Steam-Boiler Control System

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.73 MB

english, 1996

17

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || A VDM specification of the steam-boiler problem

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.88 MB

english, 1996

18

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || The real-time behavior of the steam-boiler

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.13 MB

english, 1996

19

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit state

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.92 MB

english, 1996

20

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Assertional specification and verification using PVS of the steam boiler control system

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.12 MB

english, 1996

21

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || VDM specification of the steam-boiler control using RSL notation

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.00 MB

english, 1996

22

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Proving safety properties of the steam boiler controller

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.32 MB

english, 1996

23

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Steam boiler control specification problem: A TLA solution

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.09 MB

english, 1996

24

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Specifying optimal design for a steam-boiler system

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 908 KB

english, 1996

25

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || An object-oriented algebraic steam-boiler control specification

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.44 MB

english, 1996

26

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Specifying and verifying the steam boiler control system with Time Extended LOTOS

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.11 MB

english, 1996

27

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || A steam-boiler control specification with statecharts and Z

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.08 MB

english, 1996

28

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Refinement from a control problem to programs

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.19 MB

english, 1996

29

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || TRIO specification of a steam boiler controller

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.02 MB

english, 1996

30

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Specifying and verifying the Steam Boiler Problem with SPIN

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 808 KB

english, 1996

31

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Structural synthesis of programs from refined user requirements (Programming boiler control in NUT)

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.30 MB

english, 1996

32

Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system

Su, Wen, Abrial, Jean-Raymond

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 1.95 MB

english, 2017

33

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Simulation of a steam-boiler

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 735 KB

english, 1996

34

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Using Focus, Lustre and probability theory for the design of a reliable control program

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.01 MB

english, 1996

35

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Refining abstract machine specifications of the steam boiler control to well documented executable code

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.59 MB

english, 1996

36

Modeling in Event-B (System and Software Engineering) || Controlling cars on a bridge

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 1.27 MB

english, 2010

37

Modeling in Event-B (System and Software Engineering) || Introduction

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 334 KB

english, 2010

38

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || An action system approach to the steam boiler problem

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1011 KB

english, 1996

39

Modeling in Event-B (System and Software Engineering) || The Event-B modeling notation and proof obligation rules

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 524 KB

english, 2010

40

Modeling in Event-B (System and Software Engineering) || A simple file transfer protocol

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 555 KB

english, 2010

41

Modeling in Event-B (System and Software Engineering) || Routing algorithm for a mobile agent

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 518 KB

english, 2010

42

Modeling in Event-B (System and Software Engineering) || Bounded re-transmission protocol

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 468 KB

english, 2010

43

Modeling in Event-B (System and Software Engineering) || Development of a concurrent program

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 750 KB

english, 2010

44

Modeling in Event-B (System and Software Engineering) || A mechanical press controller

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 814 KB

english, 2010

45

Modeling in Event-B (System and Software Engineering) || Mathematical language

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 893 KB

english, 2010

46

Modeling in Event-B (System and Software Engineering) || Synchronizing a tree-shaped network

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 637 KB

english, 2010

47

Modeling in Event-B (System and Software Engineering) || Leader election on a ring-shaped network

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 350 KB

english, 2010

48

Modeling in Event-B (System and Software Engineering) || Leader election on a connected graph network

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 303 KB

english, 2010

49

Modeling in Event-B (System and Software Engineering) || A location access controller

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 466 KB

english, 2010

50

Modeling in Event-B (System and Software Engineering) || Development of sequential programs

Abrial, Jean-Raymond

Year:

2010

Language:

english

File:

PDF, 713 KB

english, 2010